/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 
≤May 25, 1976




␈↓ ↓H␈↓Professor S. Takasu
␈↓ ↓H␈↓Research Institute for Mathematical Sciences
␈↓ ↓H␈↓Kyoto University
␈↓ ↓H␈↓Kyoto, Japan

␈↓ ↓H␈↓Dear Professor Takasu:

␈↓ ↓H␈↓        I␈α∞was␈α∞delighted␈α
to␈α∞receive␈α∞your␈α∞letter,␈α
and␈α∞the␈α∞signed␈α
agreement␈α∞has␈α∞been␈α∞forwarded.␈α
 As
␈↓ ↓H␈↓you␈α∞will␈α∞see,␈α∂I␈α∞couldn't␈α∞resist␈α∂exercising␈α∞the␈α∞bureaucratic␈α∂stamp␈α∞I␈α∞got␈α∂in␈α∞Kyoto.␈α∞ When␈α∂are␈α∞you
␈↓ ↓H␈↓visiting Stanford, with whom, and for how long?

␈↓ ↓H␈↓        Enclosed␈α∞is␈α∞a␈α∞preliminary␈α∞writeup␈α∂of␈α∞a␈α∞new␈α∞idea␈α∞of␈α∂mine␈α∞for␈α∞getting␈α∞rid␈α∞of␈α∂both␈α∞opaque
␈↓ ↓H␈↓contexts␈α⊂and␈α⊂quotation␈α⊂marks␈α∂in␈α⊂treating␈α⊂knowledge␈α⊂and␈α⊂the␈α∂modalities.␈α⊂ I␈α⊂have␈α⊂showed␈α⊂it␈α∂to
␈↓ ↓H␈↓several people here and at M.I.T., almost everyone ≡nds the approach promising.

␈↓ ↓H␈↓        Our␈αnew␈αKL-10␈αprocessor␈αshould␈αbe␈αworking␈αin␈αless␈αthan␈αa␈αmonth,␈αand␈αwe␈αexpect␈αa␈αfactor
␈↓ ↓H␈↓of␈α≡ve␈αin␈αspeed␈αfrom␈αit,␈αso␈αthere␈αwill␈αbe␈αplenty␈αof␈αcomputing␈αresources␈αfor␈αthe␈αproof␈αchecker,␈αetc.
␈↓ ↓H␈↓Bill␈α∞Glassmire␈α∞has␈α∞completed␈α
a␈α∞proof␈α∞of␈α∞correctness␈α
of␈α∞the␈α∞McCarthy-Painter␈α∞compiler␈α∞in␈α
FOL,
␈↓ ↓H␈↓and␈α
there␈αare␈α
numerous␈αideas␈α
for␈αimproving␈α
its␈αapplicability␈α
to␈αMTC.␈α
 Also␈αa␈α
graduate␈αstudent,
␈↓ ↓H␈↓Christopher Goad, has a proof that the ≡rst two wise men don't know the colors of their spots.

␈↓ ↓H␈↓        We are all looking forward to your visit.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science